Kripke models for classical logic
نویسندگان
چکیده
منابع مشابه
Kripke Models for Classical Logic
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the novelty of the notion and its potential applications.
متن کاملGeneralized Kripke Models for Epistemic Logic
In this paper a generalization of Kripke models is proposed for systemizing the study of the many different epistemic notions that appear in the literature. The generalized Kripke models explicitly represent an agent's epistemic states to which the epistemic notions refer. Two central epistemic notions are identified: objective (S5) knowledge and rational introspective (KD45) belief. Their inte...
متن کاملIntuitionistic and Classical Satisfiability in Kripke Models
A class P ∗ of formulas was defined in [4] which whenever satisfied in a classical structure associated with a node of a Kripke model must also be forced at that node. Here we define a dual class R of formulas which whenever forced at a node of a Kripke model must be satisfied in the classical structure associated with that node.
متن کاملKripke Models of Transfinite Provability Logic
For any ordinal Λ, we can define a polymodal logic GLPΛ, with a modality [ξ] for each ξ < Λ. These represent provability predicates of increasing strength. Although GLPΛ has no non-trivial Kripke frames, Ignatiev showed that indeed one can construct a universal Kripke frame for the variable-free fragment with natural number modalities, denoted GLPω. In this paper we show how to extend these con...
متن کاملOn Checking Kripke Models for Modal Logic K
This article presents our work toward a rigorous experimental comparison of state-of-the-art solvers for the resolution of the satisfiability of formulae in modal logic K. Our aim is to provide a pragmatic way to verify the answers provided by those solvers. For this purpose, we propose a certificate format and a checker to validate Kripke models for modal logic K. We present some experimental ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2010
ISSN: 0168-0072
DOI: 10.1016/j.apal.2010.04.007